Let G be a group and H be a nonempty subset. Then H is a subgroup of G if ab^-1 (or a-b in additive notation) is in H whenever a and b are in H.